Reasoning about the Intentions of Agents
نویسندگان
چکیده
In this paper we further develop the formal theory of intentions suggested by C. Baral and M. Gelfond in 2005. In this work the authors formalized the behavior of an agent intending to execute a sequence of actions. The resulting axioms for intentions written in Knowledge Representation language Answer Set Prolog allowed to easily express such properties of intentions as persistence and non-procrastination. This paper expands this work to allow reasoning with intentions in the presence of unexpected observations, and intentions to achieve goals. The theory is formulated in the extension of Answer Set Prolog, called CR-Prolog.
منابع مشابه
A Logical Theory of Static Reasoning for Rational Agents
A formal language to describe mental states of rational agents is useful to specify the behavior of artiicial agents that are supposed to act intelligently and to help human beings in evaluating their reasoning about the external environment. This paper presents a multi-agent, propositional, temporal logic to describe the mental state of rational agents. The formal properties of beliefs and int...
متن کاملReasoning from Desires to Intentions: A Dialectical Framework
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a subset of the agent’s desires containing only those that are achievable in the current situation. Different agents types can be defined in the framework affecting the way in which current desires
متن کاملA Logical Framework to Represent and Reason about Graded Preferences and Intentions
In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper, we present a general logical framework to represent and reasoning about gradual notions of desires and intention...
متن کاملTowards a Theory of Intentional Agents
This paper describes the AIA architecture for agents whose behavior is driven by their intentions and who reason about, and act in, changing environments. The description of the domain, written in action language AL, includes both a description of agent’s environment and the Theory of Intentions which describes properties of intentions. The architecture is designed to make agents capable of exp...
متن کاملIntentions and Rational Commitment
Intentions, an integral part of the mental state of an agent, play an important role in determining the behaviour of rational agents as they seek to attain their goals. In this paper, a formalization of intention based on rational commitment is presented. The formalization is based on a branching-time possible-worlds semantics for beliefs, goals, and intentions, upon which conditions are impose...
متن کامل